A categorical duality for algebras of partial functions
نویسندگان
چکیده
We prove a categorical duality between class of abstract algebras partial functions and (small) topological categories. The are the isomorphs collections closed under operations composition, antidomain, range, preferential union (or ‘override’). categories those whose space objects is Stone space, source map local homeomorphism, target open, all arrows epimorphisms.
منابع مشابه
Partial Combinatory Algebras of Functions
We employ the notions of ‘sequential function’ and ‘interrogation’ (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures are analyzed using J. Longley’s preorder-enriched category of partial combinatory algebras and decidable applicative structures. We also investigate total combinatory algebras of partial functions. One of the results i...
متن کاملSTONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES
$Rsb{0}$-algebras, which were proved to be equivalent to Esteva and Godo's NM-algebras modelled by Fodor's nilpotent minimum t-norm, are the equivalent algebraic semantics of the left-continuous t-norm based fuzzy logic firstly introduced by Guo-jun Wang in the mid 1990s.In this paper, we first establish a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras and the category of t...
متن کاملDuality for the class of a multiobjective problem with support functions under $K$-$G_f$-invexity assumptions
In this article, we formulate two dual models Wolfe and Mond-Weir related to symmetric nondifferentiable multiobjective programming problems. Furthermore, weak, strong and converse duality results are established under $K$-$G_f$-invexity assumptions. Nontrivial examples have also been depicted to illustrate the theorems obtained in the paper. Results established in this paper unify...
متن کاملA duality for isotropic median algebras
We establish categorical dualities between varieties of isotropic median algebras and suitable categories of operational and relational topological structures. We follow a general duality theory of B.A. Davey and H. Werner. The duality results are used to describe free isotropic median algebras. If the number of free generators is less than five, the description is detailed.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2021
ISSN: ['1873-1376', '0022-4049']
DOI: https://doi.org/10.1016/j.jpaa.2021.106755